Congruence Lattices of P - Algebras
نویسنده
چکیده
T. Katri n ak proved the following theorem: Every nite distributive lattice is the congruence lattice of a nite p-algebra. We provide a short proof, and a generalization, of this result.
منابع مشابه
Principal Congruences of /7-algebras and Double /»-algebras
Principal congruence of pseudocomplemented lattices (= palgebras) and of double pseudocomplemented lattices (= double p-algebras), i.e. pseudocomplemented and dual pseudocomplemented ones, are characterized.
متن کاملSome Properties of Congruence Relations on Orthomodular Lattices
In this paper congruences on orthomodular lattices are studied with particular regard to analogies in Boolean algebras. For this reason the lattice of p-ideals (corresponding to the congruence lattice) and the interplay between congruence classes is investigated. From the results adduced there, congruence regularity, uniformity and permutability for orthomodular lattices can be derived easily.
متن کاملDIRECTLY INDECOMPOSABLE RESIDUATED LATTICES
The aim of this paper is to extend results established by H. Onoand T. Kowalski regarding directly indecomposable commutative residuatedlattices to the non-commutative case. The main theorem states that a residuatedlattice A is directly indecomposable if and only if its Boolean center B(A)is {0, 1}. We also prove that any linearly ordered residuated lattice and anylocal residuated lattice are d...
متن کاملAxiomatizable and Nonaxiomatizable Congruence Prevarieties
If V is a variety of algebras, let L(V) denote the prevariety of all lattices embeddable in congruence lattices of algebras in V . We give some criteria for the first-order axiomatizability or nonaxiomatizability of L(V). One corollary to our results is a nonconstructive proof that every congruence n-permutable variety satisfies a nontrivial congruence identity.
متن کاملLocal Versions of some Congruence Properties in Single Algebras
We investigate some local versions of congruence permutability, regularity, uniformity and modularity. The results are applied to several examples including implication algebras, orthomodular lattices and relative pseudocomplemented lattices.
متن کاملCongruence Kernels of Orthoimplication Algebras
Abstracting from certain properties of the implication operation in Boolean algebras leads to so-called orthoimplication algebras. These are in a natural one-to-one correspondence with families of compatible orthomodular lattices. It is proved that congruence kernels of orthoimplication algebras are in a natural one-to-one correspondence with families of compatible p-filters on the correspondin...
متن کامل